Separation Logic, Concurrent Reasoning, Memory Safety, Resource Tracking

Opportunistically Parallel Lambda Calculus
dl.acm.org·22h·
Discuss: Hacker News
🔗Functional Compilers
Flag this post
Advanced Threat Protection (ATP): An Ultimate Guide for Modern SOCs
vmray.com·5h
🛡️eBPF Security
Flag this post
Turning 500 Lines of If-Else Into a Config Switch: Strategy Pattern in Go
dev.to·2h·
Discuss: DEV
⚔️Lean Tactics
Flag this post
Well-Typed.Com: Case Study: Debugging a Haskell space leak
well-typed.com·20h
🔓Decompilation
Flag this post
Minimal Sufficiency: A Principle ‘Similar’ to End-to-End
cacm.acm.org·1h·
Discuss: Hacker News
🔗Network Calculi
Flag this post
A Short Introduction to Categorical Logic
youtube.com·1d
🔀Category Theory
Flag this post
Cross-Platform Evaluation of Reasoning Capabilities in Foundation Models
arxiv.org·16h
💻Programming languages
Flag this post
Myths Programmers Believe about CPU Caches
software.rajivprab.com·19h·
Discuss: Hacker News
Cache Coherence
Flag this post
Building Up And Sanding Down
endler.dev·20h
🔩Systems Programming
Flag this post
From Bottleneck to Breakthrough: AI in Chip Verification
spectrum.ieee.org·1d
🔧Hardware Verification
Flag this post
Stop Writing Code, Start Writing Docs
thenewstack.io·56m
⚙️TLA+
Flag this post
Interfacing assembly with BASIC via DEFUSR, part 7
subethasoftware.com·1d
🔧RISC-V Assembler
Flag this post
Swift 6.2: Observations
mjtsai.com·2h
🔄Lens Laws
Flag this post
Building a Rules Engine from First Principles
towardsdatascience.com·1d
🔗Combinatory Logic
Flag this post
When AI Agents Go Rogue: Agent Session Smuggling Attack in A2A Systems
unit42.paloaltonetworks.com·10h
🕵️Vector Smuggling
Flag this post
Finding Order in the Mayhem: A Novel Concurrency Testing Tool that Improved the Kotlin Compiler
blog.jetbrains.com·2d·
Discuss: Hacker News
Effect Handlers
Flag this post
Plan for Learning, Not Certainty
timcheadle.com·5h·
Discuss: Hacker News
💾Persistence Strategies
Flag this post
From Lossy to Lossless Reasoning
manidoraisamy.com·2h·
Discuss: Hacker News
🔨Compilers
Flag this post
The future of AI applications: MCP servers
techradar.com·5h
🌊Stream Processing
Flag this post
Java Generics and Collections • Maurice Naftalin & Stuart Marks • GOTO 2025
youtube.com·1d
λLambda Formalization
Flag this post